python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.10.jani -c ../probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.10-domain.ppddl rabin.10-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [0.060s CPU, 0.061s wall-clock]
Normalizing task... [0.000s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.007s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.130s CPU, 0.128s wall-clock]
Preparing model... [0.070s CPU, 0.065s wall-clock]
Generated 4851 rules.
Computing model... [974.060s CPU, 974.109s wall-clock]
44853494 relevant atoms
27220 auxiliary atoms
44880714 final queue length
224248653 total queue pushes
Completing instantiation...
----------
Computation aborted after 1804.5506472587585 seconds since the total time limit of 1800 seconds was exceeded.